BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2018/newsitem/9735/7-M
 arch-2018-Algebra|Coalgebra-Seminar-Benno-van-den-
 Berg
DTSTAMP:20180302T004236
SUMMARY:Algebra|Coalgebra Seminar, Benno van den B
 erg
ATTENDEE;ROLE=Speaker:Benno van den Berg
DTSTART;TZID=Europe/Amsterdam:20180307T160000
DTEND;TZID=Europe/Amsterdam:20180307T170000
LOCATION:Room F1.15, ILLC, Science Park 107, Amste
 rdam
DESCRIPTION:The purpose of this talk is to introdu
 ce the notion of a path category (short for a cate
 gory with path objects). Like other notions from h
 omotopical algebra, such as a category of fibrant 
 objects or a Quillen model structure, it provides 
 a setting in which one can develop some homotopy t
 heory. For a logician this type of category is int
 eresting because it provides a setting in which ma
 ny of the key concepts of homotopy type theory (Ho
 TT) make sense. Indeed, path categories provide a 
 syntax-free way of entering the world of HoTT, and
  familiarity with (the syntax of) type theory will
  not be assumed in this talk. Instead, I will conc
 entrate on basic examples and results. (This is pa
 rtly based on joint work with Ieke Moerdijk.)
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The purpose of
  this talk is to introduce the notion of a path ca
 tegory (short for a category with path objects). L
 ike other notions from homotopical algebra, such a
 s a category of fibrant objects or a Quillen model
  structure, it provides a setting in which one can
  develop some homotopy theory. For a logician this
  type of category is interesting because it provid
 es a setting in which many of the key concepts of 
 homotopy type theory (HoTT) make sense. Indeed, pa
 th categories provide a syntax-free way of enterin
 g the world of HoTT, and familiarity with (the syn
 tax of) type theory will not be assumed in this ta
 lk. Instead, I will concentrate on basic examples 
 and results. (This is partly based on joint work w
 ith Ieke Moerdijk.)</p>\n
URL:http://events.illc.uva.nl/alg-coalg
CONTACT:Frederik Lauridsen at f.m.lauridsen at uva
 .nl
END:VEVENT
END:VCALENDAR